1. Compiler Construction
پدیدآورنده : / Jens Knoop
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
2. Leveraging Applications of Formal Methods, Verification, and Validation
پدیدآورنده : / hnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard SteffenعReiner H
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : MINERAL PROCESSING|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|MINING
رده :
E-BOOK
3. Optimal Interprocedural program Optimization: A New Framework and Its Application
پدیدآورنده : / Jens Knoop
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Mathematical Optimization.,Programming (MAthematics)
رده :
QA402
.
K6M2
4. Optimal interprocedural program optimization : a new framwork and its application
پدیدآورنده : Knoop, Jens
کتابخانه: (طهران)
موضوع : ، Computer programming,، Computer algorithms,، Compilers )Computer programs(
رده :
QA
76
.
L28
Vol
.
1428
